import datetime

n = int(input())
start = datetime.datetime(1970, 1, 1)
gap = datetime.timedelta(milliseconds = 1)
end = start + n * gap
print('%02d:%02d:%02d'%(end.hour, end.minute, end.second))
